601. Symbolic model checking
پدیدآورنده : by Kenneth L. McMillan
موضوع : Electronic digital computers - Circuits - Design - Data processing,Symbolic circuit analysis - Data processing,Logic design - Data processing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
602. Symbolic projection for image information retrieval and spatial reasoning /
پدیدآورنده : Shi-Kuo Chang, Erland Jungert.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer graphics.,Computer vision.,Image files.,Image processing.,Information retrieval.,Linear integrated circuits.,Spatial systems.,Stereoscopic views.,Banques d'images-- Informatique.,Imagerie (Technique),Perception spatiale.,Systèmes spatiaux.,Traitement d'images.,Computer graphics.,Computer vision.,COMPUTERS-- Information Theory.,Image files.,Image processing.,Information retrieval.,Linear integrated circuits.,Spatial systems.,Stereoscopic views.,TECHNOLOGY & ENGINEERING-- Signals & Signal Processing.
رده :
TA1632
.
C445
1996eb
603. 1994 Symposium on VLSI Circuits: Digest of Technical Papers, June 9-11, 1994, Honolulu
پدیدآورنده : sponsored by the IEEE Soild-State Circuits Council and the Japan Society of Applied Physics, in cooperation with the Institute of Electronics, Information and Communication Engineers
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Integrated circuit - Very Large scale integration - Congresses , Computers - Circuits - Congresses
رده :
TK
7874
.
S958
1994
604. 1993 Symposium on VLSI Circuits : Digest of technical papers, may 19-21, 1993 Kyoto
پدیدآورنده : Sponsored by the Japan Society of Applied Physics and the IEEE Solid-State Circuits Council; in cooperation with the Institute of Electronics, Information and Communication Engineers
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Integrated circuits - Very large scale integration - Congresses , Computers - Circuits - Congresses
رده :
TK
7874
.
S958
1993
605. 1994 Symposium on VLSI Technology: Digest of Technical Papers, June 7-9, 1994, Honolulu
پدیدآورنده : ]sponsored by[ the IEEE Electron Devices Society, The Japan Society of Applied Physics
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Integrated circuits - Very Large scale integration - Congresses , Computers - Circuits - Congresses
رده :
TK
7874
.
S95
1994
606. System-level power optimization for wireless multimedia communication :
پدیدآورنده : edited by Ramesh Karri, David Goodman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electric power-- Conservation.,Electronic digital computers-- Power supply.,Multimedia systems-- Power supply.,Wireless communication systems-- Power supply.,Electric power-- Conservation.,Electronic digital computers-- Power supply.,TECHNOLOGY & ENGINEERING-- Telecommunications.
رده :
TK7895
.
P68
S97
2002eb
607. System-on-chip :
پدیدآورنده : edited by Bashir M. Al-Hashimi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Embedded computer systems.,Microelectronics.,Systems on a chip.,COMPUTERS-- Logic Design.,Embedded computer systems.,Microelectronics.,Microélectronique.,Systèmes enfouis (informatique),Systems on a chip.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.,TECHNOLOGY & ENGINEERING-- Electronics-- Digital.,TECHNOLOGY & ENGINEERING-- Electronics-- Microelectronics.
رده :
TK7895
.
E42
S976
2006eb
608. SystemVerilog assertions and functional coverage
پدیدآورنده : / Ashok B. Mehta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Engineering,Circuits and Systems,Electronics and Microelectronics, Instrumentation,Processor Architectures,Verilog (Computer hardware description language),Electronic digital computers, Design and construction,Integrated circuits, Verification,TECHNOLOGY & ENGINEERING / Mechanical, bisacsh
رده :
E-BOOK
609. SystemVerilog assertions and functional coverage :guide to language, methodology and applications
پدیدآورنده : Mehta, Ashok B., Ashok B. Mehta
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures
رده :
TK7885
.
7
610. Systemverilog assertions and functional coverage: guide to language, methodology and applications
پدیدآورنده : Mehta, Ashok B.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Verilog )Computer hardware description language(,، Electronic digital computers - Design and construction,، Integrated circuits - Verification
رده :
TK
7885
.
7
.
M4
2014
611. Teach yourself electricity and electronics
پدیدآورنده : Stan Gibilisco
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع : Electronics,Electricity
رده :
TK
,
7819
,.
G38
,
2011
612. Telecommunications :
پدیدآورنده : by Vince Coughlin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Physical Sciences & Mathematics.,Science (General),Sciences - General.
رده :
TK5101
.
B985
1984
613. The Boundary-Scan handbook
پدیدآورنده : by Kenneth P. Parker
موضوع : Printed circuits--Testing,Printed circuits--Testing--Standards,Electronic digital computers--Circuits - Design and construction
۵ نسخه از این کتاب در ۳ کتابخانه موجود است.
614. The Chipmakers
پدیدآورنده : by the editors of Time-Life Books
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Integrated circuits - Very large scale integration,Microelectronics
رده :
TK
7874
.
C543
615. The E hardware verification language
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer hardware description languages ; Integrated circuits ; Verification ; Computers ; Circuits ; Testing ;
616. The E hardware verification language
پدیدآورنده : / Sasan Iman, Sunita Joshi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer hardware description languages,Integrated circuits , Verification,Computers , Circuits , Testing
رده :
E-BOOK
617. The E hardware verification language
پدیدآورنده : / Sasan Iman, Sunita Joshi
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer hardware description languages,Integrated circuits- Verification,Computers- Circuits- Testing
رده :
TK7885
.
7
.
I43
2004
618. The New York Times circuits :
پدیدآورنده : edited by Henry Fountain ; introduction by Andy Rooney ; illustrations by Mika Gröndahl, Frank O'Connell, and other graphic artists of the New York Times.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electric circuits.,Electronic apparatus and appliances.,Electric circuits.,Electronic apparatus and appliances.
رده :
TK7870
.
N497
2001
619. The Study of Fast Processes and Transient Species by Electron Pulse Radiolysis
پدیدآورنده : edited by John H. Baxendale, Fabio Busi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Chemistry.
620. The Technical Foundations of IoT /
پدیدآورنده : by Kirsten Matheus, Thomas Konigseder.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Embedded Internet devices.,Internet of things.,Ubiquitous computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Embedded Internet devices.,Internet of things.,Ubiquitous computing.
رده :
QA76
.
5915
.
A37
2017eb
